Computer optimization - PDFSEARCH.IO - Document Search Engine

Computer optimization
Results: 3360

#	Item
931	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:47 Automated theorem proving Concolic testing Logic in computer science Java Pathfinder Symbolic execution Interprocedural optimization Control flow KeY Software bug Software engineering Formal methods Computing
932	This discussion paper is/has been under review for the journal Geoscientific Model Development (GMD). Please refer to the corresponding final paper in GMD if available. Discussion Paper Geosci. Model Dev. Discuss., 8, 3 Add to Reading List Source URL: www.geosci-model-dev-discuss.net Language: English - Date: 2015-05-07 09:05:29 Mathematical optimization Operations research Computational science Cybernetics Numerical analysis Computer simulation Nelder–Mead method Global optimization Genetic algorithm Applied mathematics Science Mathematics
933	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2012-09-17 05:11:31 Mathematics Mathematical optimization NP-complete problems Computational complexity theory Travelling salesman problem Stochastic optimization Job shop scheduling Ant colony optimization algorithms Dynamic programming Theoretical computer science Operations research Applied mathematics
934	PDF Document Add to Reading List Source URL: www-sop.inria.fr Language: English - Date: 2012-12-20 07:29:21 Numerical analysis Arithmetic Computer arithmetic Interval arithmetic Integral Mathematical optimization Interval Polynomial Interval finite element Mathematics Statistics Mathematical analysis
935	PDF Document Add to Reading List Source URL: www.cad.polito.it Language: English - Date: 2008-12-31 18:00:00 Cybernetics Computer engineering Mathematical optimization Parallel computing Evolutionary algorithm Addressing mode Genetic programming Evolutionary computation MIPS architecture Computing Computer architecture Assembly languages
936	PDF Document Add to Reading List Source URL: navet.ics.hawaii.edu Language: English - Date: 2014-07-02 04:07:05 Software optimization Application programming interfaces Message Passing Interface Electronic design automation Profiling Simulation Performance prediction CPU cache Logic simulation Computing Parallel computing Computer programming
937	GPU-Enabled particle based optimization for robotic-hand pose estimation and self-calibration Pedro Vicente, Ricardo Ferreira, Lorenzo Jamone, Alexandre Bernardino Instituto de Sistemas e Rob´otica, Instituto Superior T Add to Reading List Source URL: vislab.isr.ist.utl.pt Language: English - Date: 2015-03-18 09:18:05 Virtual reality 3D computer graphics Computational physics Computer graphics Computing Humanoid robot ICub Robot Degrees of freedom Robot kinematics Robotics Physics
938	A GRAPH-SEARCH APPROACH ON RESOURCE-CONSTRAINED SCHEDULING PROBLEMS AND ITS APPLICATION TO ADVANCED DRIVER ASSISTANCE SYSTEMS Christoph Endres1 , Christian M¨uller1 1 German Add to Reading List Source URL: simtd.de Language: English - Date: 2014-02-18 10:24:21 Computational complexity theory Ant colony optimization algorithms Algorithm Optimization problem Scheduling Linear programming Mathematical optimization SL Genetic algorithm Applied mathematics Theoretical computer science Operations research
939	Proceedings of the International Association for Shell and Spatial Structures (IASS) Symposium 2013 „BEYOND THE LIMITS OF MAN” 23-27 September, Wroclaw University of Technology, Poland J.B. Obrębski and R. Tarczewsk Add to Reading List Source URL: people.bath.ac.uk Language: English - Date: 2013-08-05 09:46:11 Topology 3D computer graphics Polyhedra Polytopes Shape optimization Topology optimization Dual polyhedron Polyhedron Vertex Geometry Mathematical optimization Mathematics
940	Planning for Mining Operations with Time and Resource Constraints Nir Lipovetzky and Christina N. Burt and Adrian R. Pearce and Peter J. Stuckey Computing and Information Systems The University of Melbourne Parkville, Au Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2014-04-09 20:47:15 Mathematics Mathematical optimization Convex optimization Linear programming Job shop scheduling IP Optimization problem Heuristic function Operations research Theoretical computer science Applied mathematics

UPDATE